Software verification

Results: 1531



#Item
511Computer programming / Software engineering / Programming language implementation / Runtime verification / Formal verification / X86 / Compiler / Pin / Disassembler / Computing / Formal methods / Logic in computer science

BAP: A Binary Analysis Platform David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz Carnegie Mellon University 5000 Forbes Ave., Pittsburgh, PA, USA Abstract. BAP is a publicly available infrastructur

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-12-17 15:18:11
512Operations research / Simulation / FlexRay / Network simulation / SPICE / Reliability engineering / Hardware description language / CAN bus / Vehicle bus / Technology / Electronic engineering / Software

Datasheet In-Vehicle Network Design Synopsys’ Saber® simulator is a complete design and verification solution for in-vehicle communication networks.

Add to Reading List

Source URL: www.synopsys.com

Language: English - Date: 2015-01-28 08:15:38
513Lisp programming language / Formal methods / Functional languages / Cross-platform software / Automated theorem proving / ACL2 / Common Lisp / Formal verification / Lisp / Software engineering / Computing / Computer programming

Automatic Verification for Interactive Graphical Programs Carl Eastlund Matthias Felleisen Northeastern University

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2015-03-24 18:44:54
514Systems science / Acceptance testing / Ghrsst-pp / Quality assurance / Reliability engineering / CNR / Verification and validation / Systems engineering process / Validation / Systems engineering / Technology / Software

Document Ref : MED-SOC-DPQ-001 Issue Date : 26 april 2005 Issue : B

Add to Reading List

Source URL: ghrsst-pp.metoffice.com

Language: English - Date: 2005-09-01 10:23:52
515Materials science / Reliability engineering / Software quality / Survival analysis / United States Environmental Protection Agency / Efficiency / Systems engineering / Engineering / Thought / Design for X / Failure

KEMCO Effective MVE system International Monitoring, Verification and Enforcement Conference

Add to Reading List

Source URL: www.iea-4e.org

Language: English - Date: 2010-09-27 02:23:56
516Applied mathematics / Formal methods / Logic in computer science / Reasoning / Proof assistant / Automated reasoning / ACL2 / Formal verification / Isabelle / Theoretical computer science / Mathematical software / Automated theorem proving

Report from Dagstuhl Seminar[removed]AI meets Formal Software Development Edited by Alan Bundy1 , Dieter Hutter2 , Cliff B. Jones3 , and

Add to Reading List

Source URL: drops.dagstuhl.de

Language: English - Date: 2012-10-05 02:45:26
517Systems engineering / Validity / Evaluation / Quality / Validation / Verification and validation / Software development process / Verification / Test method / Technology / Pharmaceutical industry / Science

Quality Management systems - Process Validation Guidance

Add to Reading List

Source URL: www.variation.com

Language: English - Date: 2014-12-31 23:28:17
518Device drivers / Device driver / UpdateStar / Microsoft Windows / Windows XP / Device driver synthesis and verification / Wi-Fi operating system support / Software / System software / Computing

Press Release December 9, 2010 For immediate release New released UpdateStar Drivers delivers all driver updates for computer hardware UpdateStar Drivers is the latest in a row of new software product additions to Berli

Add to Reading List

Source URL: client.updatestar.com

Language: English - Date: 2010-12-09 06:44:57
519Procedural programming languages / Data types / C++ / Logic in computer science / Programming language semantics / Pointer / C / ALGOL 68 / Monad / Software engineering / Computing / Programming language theory

Formal Verification of a C Compiler Front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA Rocquencourt[removed]Le Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2006-05-16 04:47:55
520Functional languages / Proof assistant / Mathematical logic / Theoretical computer science / Emacs / Coq / Isabelle / Formal verification / Mathematical proof / Software / Automated theorem proving / Formal methods

Proof General Organize your proofs! User Manual for Proof General 4.2pre January 2012 proofgeneral.inf.ed.ac.uk

Add to Reading List

Source URL: proofgeneral.inf.ed.ac.uk

Language: English - Date: 2015-04-19 00:44:55
UPDATE